$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$:E. ($\uparrow$($e$ $\in_{b}$ prior($X$))) $\Rightarrow$ (prior($X$)($e$) $<$loc $e$)